On Nicely Definable Forcing Notions
نویسنده
چکیده
We prove that if Q is a nw-nep forcing then it cannot add a dominating real. We also show that amoeba forcing cannot be P(X)/I if I is an א1-complete ideal. Furthermore, we generalize the results of [12].
منابع مشابه
On Nicely Definable Forcing Notions Sh711
We prove that if Q is a nw-nep forcing then it cannot add a dominating real. We also show that amoeba forcing cannot be P(X)/I if I is an א1-complete ideal. Furthermore, we generalize the results of [Sh 480]. I would like to thank Alice Leonhardt for the beautiful typing. This research was partially supported by the Israel Science Foundation founded by the Israel Academy of Sciences and Humanit...
متن کاملAndrzej Ros Lanowski And
We prove that two basic questions on outer measure are undecid-able. First we show that consistently • every sup-measurable function f : R 2 −→ R is measurable. The interest in sup-measurable functions comes from differential equations and the question for which functions f : R 2 −→ R the Cauchy problem y ′ = f (x, y), y(x 0) = y 0 has a unique almost-everywhere solution in the class AC l (R) o...
متن کاملProperness without Elementaricity
We present reasons for developing a theory of forcing notions which satisfy the properness demand for countable models which are not necessarily elementary sub-models of some (H(χ),∈). This leads to forcing notions which are “reasonably” definable. We present two specific properties materializing this intuition: nep (non-elementary properness) and snep (Souslin non-elementary properness) and al...
متن کاملCardinality without Enumeration
We show that the notion of cardinality of a set is independent from that of wellordering, and that reasonable total notions of cardinality exist in every model of ZF where the axiom of choice fails. Such notions are either definable in a simple and natural way, or nondefinable, produced by forcing. Analogous cardinality notions exist in nonstandard models of arithmetic admitting nontrivial auto...
متن کاملGap Forcing
After forcing which admits a very low gap—and this includes many of the forcing iterations, such as the Laver preparation, which are commonly found in the large cardinal context—every embedding j : V [G] → M [j(G)] in the extension which satisfies a mild closure condition is the lift of an embedding j : V → M in the ground model. In particular, every ultrapower embedding in the extension lifts ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005